To search, Click below search items.

 

All Published Papers Search Service

Results for Shuai Lv; Total 1

Title

Propositional Extension Rule with Reduction

Author

Xia Wu, Jigui Sun, Shuai Lv, Minghao Yin
Citation

Vol. 6  No. 1  pp. 190~195

Keywords

Extension rule, theorem proving, satisfiability, reduction

[1]